Logic in Computer